混合模糊测试中混合符号执行优化策略评估与分析

针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。     

面向数字射频存储的雷达欺骗干扰检测方法

基于数字射频存储(digital radio frequency memory,DRFM)技术的转发式欺骗干扰与真实雷达回波高度相干,这导致雷达难以分辨真假目标。针对该问题,提出一种基于Hough变换的DRFM欺骗干扰检测方法。建立基于线性调频的干扰信号模型,分析其谐波分量的频谱特性,采用短时傅里叶变换和二维恒虚警率检测器对干扰信号进行特征提取,并利用Hough变换完成欺骗干扰检测。所提方法是基于DRFM欺骗干扰本身的特征,不依赖于先验信息与应用场景,计算复杂度低,且在低信噪比条件下具有良好的检测性能。计算机仿真实验验证了方法的有效性。     

具有吞吐量和时延约束的软件无线电波形部署决策算法

针对当前具有吞吐量和时延约束的软件无线电波形部署决策算法在内存开销方面考虑的不足,提出一个更为通用的波形部署决策系统模型,将波形的处理开销、内存开销和通信带宽开销都纳入到波形部署决策过程中,并设计了一种基于动态规划的波形部署决策算法以最小化波形对平台各种计算资源的占用总和。仿真结果表明,内存对波形部署决策具有重要影响,与未考虑内存开销的解决方案相比,平台支持的平均最大波形数目和平均处理资源利用率均下降40%左右。     

基于度量元的静态软件缺陷预测技术

软件缺陷预测技术是当前软件工程领域的一个热点研究问题。回顾和综述了基于度量元的静态软件缺陷预测技术研究的起源与国内外最新进展动态,并对常用缺陷预测技术的评价指标进行对比和分析,指出其优缺点和适用范围。最后对静态软件缺陷预测技术的可能发展方向进行预测。     

北斗多业务卫星系统与应用——论北斗Bs导航

无线电频率是不可再生的资源,频率共用已成为国际电信联盟的共识,多业务融合发展已成为世界卫星无线电系统发展趋势。S频段中2483.5 MHz~2500 MHz被国际电信联盟划分为卫星多业务共用频率,包括卫星无线电定位报告业务、卫星无线电导航业务、卫星移动通信业务三大业务,可以同时提供卫星导航、航路跟踪、遇险救援、信息中继四大功能。介绍了S频段天基系统发展过程、导航通信频率特性、S频段多功能集成前景,我国北斗未来使用S频段导航的应用成果及社会经济效益预测。     

COSMIC 掩星反演的水汽廓线质量分析

利用2006—2012年北半球冬季低纬度地区(30°S~30°N)无线电探空站数据及全球大气成分和气候监测再分析数据对1000 h Pa~200 h Pa高度层的气象、电离层与气候星座观测系统全球定位系统掩星反演的比湿廓线进行了精度和可靠性验证。结果表明,水汽对气象、电离层与气候星座观测系统掩星反演影响较大,尤其在中、低对流层及热带地区等水汽含量比较大的地区,且气象、电离层与气候星座观测系统掩星数据在850 hpa以下可能并不太适用于评估其他数据。     

反潜火控软件复用及构件化开发

随着反潜火控设备的快速发展,火控软件中成熟的解算技术需要有效继承,同时需要开发适合新型武器的操控及解算技术,为后续其它型号软件提供高效的功能继承。因此开展软件复用及构件化开发研究在反潜火控软件研制过程中具有重要意义。本文研究了在反潜火控软件开发过程中进行软件复用及构件化开发的技术,并详细介绍了适合反潜火控软件开发的方法和过程。该项技术的使用有效提高了反潜火控软件的可靠性和开发效率,目前已被成功应用在反潜火控软件中。     

低速率移动自组织网络安全路由协议

由于移动Ad Hoc网络具有无需基础设施,可以快速部署,很难完全被摧毁等优点,被作为数字化战场通信的优先选择,设计实现了一种适用于低速率移动Ad Hoc网络的安全路由协议——LSRP,它适用于分层架构的低速移动电台自组网,可以在网络资源有限的情况下,防御来自外部和内部两方面的攻击。LSRP协议利用分布式门限RSA签名方案来阻止非授权接入,防范来自网络外部的攻击;利用邻节点信任度评估机制,进行恶意节点检测和剪除,防范来自网络内部的攻击,增强了网络的安全性。     

双源连续波对引信的辐照效应研究

为研究复杂电磁环境对某引信的影响,从双源连续波入手,运用双源连续波对工作状态某引信辐照的实验方法进行实验.实验结果表明,在以引信工作频率为中心的150MHz频率范围内对加电引信进行双源连续波辐照实验可使引信发火,辐照结束后引信工作正常,实验的重复性较好.两连续波频率间隔不同,可使引信发火的场强组合数值大小不相同,实验中当两连续波远离引信工作频率且频差10MHz以上时,发火场强组合近似呈线性.最后对双源连续波对引信的辐照效应机理作了分析,两连续波频率间隔不同,引信发火机理不同.     

可信软件研究

可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。